CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code

We present an instrumenting compiler for enforcing data confidentiality in low-level applications (e.g. those written in C) in the presence of an active adversary. In our approach, the programmer marks secret data by writing lightweight annotations on top-level definitions in the source code. The compiler then uses a static flow analysis coupled with efficient runtime instrumentation, a custom memory layout, and custom control-flow integrity checks to prevent data leaks even in the presence of low-level attacks. We have implemented our scheme as part of the LLVM compiler. We evaluate it on the SPEC micro-benchmarks for performance, and on larger, real-world applications (including OpenLDAP, which is around 300KLoC) for programmer overhead required to restructure the application when protecting the sensitive data such as passwords. We find that performance overheads introduced by our instrumentation are moderate (average 12% on SPEC), and the programmer effort to port OpenLDAP is only about 160 LoC.Comment: Technical report for CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code, appearing at EuroSys 201

An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code

We present an instrumenting compiler for enforcing data confidentiality in low-level applications (e.g. those written in C) in the presence of an active adversary. In our approach, the programmer marks secret data by writing lightweight annotations on top-level definitions in the source code. The compiler then uses a static flow analysis coupled with efficient runtime instrumentation, a custom memory layout, and custom control-flow integrity checks to prevent data leaks even in the presence of low-level attacks. We have implemented our scheme as part of the LLVM compiler. We evaluate it on the SPEC micro-benchmarks for performance, and on larger, real-world applications (including OpenLDAP, which is around 300KLoC) for programmer overhead required to restructure the application when protecting the sensitive data such as passwords. We find that performance overheads introduced by our instrumentation are moderate (average 12% on SPEC), and the programmer effort to port OpenLDAP is only about 160 LoC

Effect of nickel substitution on structural, infrared and elastic properties of lithium ferrite

596-608The structural and elastic properties of Li₀․₅ (1-x)NixFe₂․₅-₀․₅xO₄ (x = 0.0-1.0) spinel ferrite system have been studied by means of X-ray diffraction and infrared spectroscopic measurements at 300K. The X-ray diffraction data has been used to determine the lattice constant, X-ray density, distributions of cations among the tetrahedral and octahedral sites of spinel lattice, anion parameters, site radii, ionic radii, bond angle and bond length. The nature and change in the position of IR bands have been explained on the basis of cations involved in the system. The force constants have been used to calculate elastic moduli like bulk modulus, rigidity modulus, Young’s modulus, Poisson’s ratio, Debye temperature and corrected to zero porosity. The observed variation of elastic constants with nickel substitution has been explained on the basis of strength of interatomic bonding. The applicability of heterogeneous metal mixture rule for estimating elastic constants has been tested. The Debye temperature obtained from elastic constant data is higher than that of the X-ray diffraction analysis, mainly due to existence of peaks in the vibrational spectra at lower frequencies

Pregled tehnologija priprave oralno raspadljivih tableta

Orally disintegrating tablets (ODTs), also known as fast melts, quick melts, fast disintegrating and orodispersible systems, have the unique property of disintegrating in the mouth in seconds without chewing and the need of water and are thus assumed to improve patient compliance. Conventional methods like direct compression, wet granulation, moulding, spray-drying, freeze-drying and sublimation were used to prepare ODTs. New, advanced technologies like Orasolv®, Durasolv®, Wowtab®, Flashtab®, Zydis®, Flashdose®, Oraquick®, Lyoc®, Advatab®, Frosta®, Quick-Disc® and Nanomelt® have been introduced by some pharmaceutical companies for the production of ODTs. The main objective of this review is to give a comprehensive insight into conventional and recent technologies used for the preparation of ODTs.Oralno raspadljive tablete (ODT), poznate i kao lako topljive tablete, brzo raspadljive i kao orodisperzibilni sustavi, imaju jedinstveno svojstvo trenutnog raspadanja u ustima, bez žvakanja i bez potrebe uzimanja vode, što poboljšava pacijentovu suradljivost. U pripravi ODT koriste se uobičajene metode kao što su izravna kompresija, vlažna granulacija, kalupljenje, sušenje sprejanjem, sušenje smrzavanjem i sublimacija, a u njihovoj proizvodnji napredne tehnologije kao što su Orasolv®, Durasolv®, Wowtab®, Flashtab®, Zydis®, Flashdose®, Oraquick®, Lyoc®, Advatab®, Frosta®, Quick-Disc® i Nanomelt®. Cilj ovog rada je dati uvid u uobičajene i novije tehnologije u pripravi ODT